"A sequel to Pollock's How to Build a Person, this volume builds upon that theoretical groundwork for the implementation of rationality through artificial ...

This new edition of the classic Contemporary Theories of Knowledge has been significantly updated to include analyses of the recent literature in epistemology.

Princeton University Press, 1974. This book is out of print, but can be downloaded as a pdf file (5 MB).

Pollock describes an exciting theory of rationality and its partial implementation in OSCAR, a computer system whose descendants will literally be persons.

This exceptionally successful survey text introduces the teachings and practice of Islam from its earliest origins up to its contemporary practice. John L. Esposito, an internationally renowned expert on Islam, traces the development of Islam and its impact on world history and politics.Lucidly written and expansive in scope, Islam: The Straight Path, Fifth Edition, provides keen insight into one of the world's least understood religions. It is ideally suited for use in courses on Islam, world religions, comparative religions, and (...) Middle East history and culture.A FREE 6-month subscription to Oxford Islamic Studies Online, edited by John L. Esposito, is included with the purchase of every new copy of this text. (shrink)

There was a long tradition in philosophy according to which good reasoning had to be deductively valid. However, that tradition began to be questioned in the 1960’s, and is now thoroughly discredited. What caused its downfall was the recognition that many familiar kinds of reasoning are not deductively valid, but clearly confer justification on their conclusions. Here are some simple examples.

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas of (...) Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,’ discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincaré, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal. (shrink)

"There is no attempt here to lay down as inviolable or to legislate certain ways of looking at things or ways of proceeding for philosophers of religion, only proposals for how to deal with a range of basic issues-proposals that I hope will ignite much fruitful discussion and which, in any case, I shall take as a basis for my own ongoing work in the field."-from the Preface Providing an original and systematic treatment of foundational issues in philosophy of religion, (...) J. L. Schellenberg's new book addresses the structure of religious and irreligious belief, the varieties of religious skepticism, and the nature of religion itself. From the author's searching analysis of faith emerges a novel understanding of propositional faith as requiring the absence of belief. Schellenberg asks what the aims of the field should be, setting out a series of principles for carrying out some of the most important of these aims. His account of justification considers not only belief but also other responses to religious claims and distinguishes the justification of responses, propositions, and persons. Throughout Prolegomena to a Philosophy of Religion, Schellenberg is laying the groundwork for an elaboration of his own vision while at the same time suggesting how philosophers might rethink assumptions guiding most of today's work in analytic philosophy of religion. (shrink)

Now in a new edition, this exceptionally successful survey text introduces the faith, belief, and practice of Islam from its earliest origins up to its contemporary resurgence. John L. Esposito, an internationally renowned expert on Islam, traces the development of this dynamic faith and its impact on world history and politics. The fourth edition features updated and expanded coverage of Islam and politics; more extensive treatment of early Islam; an enhanced art program; a new appendix; and a free 6-month (...) subscription to Oxford Islamic Studies Online edited by John L. Esposito. (shrink)

Princeton University Press, 984. This book is out of print, but can be downloaded as a pdf file (3.9 MB).

This exceptionally successful survey text introduces the teachings and practice of Islam from its earliest origins up to its contemporary practice. John L. Esposito, an internationally renowned expert on Islam, traces the development of Islam and its impact on world history and politics.Lucidly written and expansive in scope, Islam: The Straight Path, Updated Fifth Edition, provides keen insight into one of the world's least understood religions. It is ideally suited for use in courses on Islam, world religions, comparative religions, (...) and Middle East history and culture.A FREE 6-month subscription to Oxford Islamic Studies Online, edited by John L. Esposito, is included with the purchase of every new copy of this text. (shrink)

A weak form of intuitionistic set theory WST lacking the axiom of extensionality is introduced. While WST is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that beefing up WST with moderate extensionality principles or quotient sets enables the derivation to go through.

Pollock argues that theories of ideal rationality are largely irrelevant to the decision making of real agents. Thinking about Acting aims to provide a theory of "real rationality.".

As his editor John L. Stanley points out, Georges Sorel was "that fascinating polymath." This volume, the third in his selected works in the English language published by Transaction, emphasizes Sorel's extraordinary writings in the philosophy of science, religion, culture, and art. For those who know Sorel only as author of Reflections on Violence, the present volume will come as a forceful reminder of the range and depth of Sorelian efforts to construct a world view. Sorel is throughout concerned (...) with the moral development of human beings. In this sense, his writings on politics are of a piece with his writings on religion, "facticity" of human history and society. Sorel's earliest writings were on religion, and key portions of that period are reflected in selections here. And he went on from there to study the sociology of science, the ways in which science fits into the cultural history of civilization and present day social relationships of industrial society. Stanley provides a profound framework based on two decades of close study and translation of Sorel's texts. He helps to explain how the partial theories of Sorel lead to holistic intellectual consequences, how the psychological method does not foreclose political activism, and how historical limits can be transformed against a background of aesthetics or considerations of taste. He shows that Sorel comes as a close as Manheim and Simmel and Durkheim to the creation of a modern social science--albeit he lacks the overall philosophical theorems of people like Marx and Weber. In Sorel we have a first-class mind at work. And in Stanley, we have a first-class analyst at work. Together, the volume adds up to something special for the political scientist, sociologist, art historian, theologian--in short for those to whom the ideal of a human science endures. John L. Stanley is professor of political science at the University of California at Riverside. He is the author of The Sociology of Virtue: The Political and Social Theories of Georges Sorel. He has written many articles and reviews on the history of European political theory. With his wife, Charlotte Stanley, he has been long engaged in the translation of the works of Georges Sorel. (shrink)

In this book Pollock deals with the subject of probabilistic reasoning, making general philosophical sense of objective probabilities and exploring their ...

Traditionally, expressions in formal systems have been regarded as signifying finite inscriptions which are—at least in principle—capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may be identified with natural numbers (via "Gödel numbering") and hence with finite sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas would be naturally identified as infinite sets . A "language" of this kind is called (...) an infinitary language : in this article I discuss those infinitary languages which can be obtained in a straightforward manner from first-order languages by allowing conjunctions, disjunctions and, possibly, quantifier sequences, to be of infinite length. In the course of the discussion it will be seen that, while the expressive power of such languages far exceeds that of their finitary (first-order) counterparts, very few of them possess the "attractive" features (e.g., compactness and completeness) of the latter. Accordingly, the infinitary languages that do in fact possess these features merit special attention. (shrink)

This essay is an attempt to sketch the evolution of type theory from its beginnings early in the last century to the present day. Central to the development of the type concept has been its close relationship with set theory to begin with and later its even more intimate relationship with category theory. Since it is effectively impossible to describe these relationships (especially in regard to the latter) with any pretensions to completeness within the space of a comparatively short article, (...) I have elected to offer detailed technical presentations of just a few important instances. (shrink)

The usual meaning of the word continuous is “unbroken” or “uninterrupted”: thus a continuous entity —a continuum—has no “gaps.” We commonly suppose that space and time are continuous, and certain philosophers have maintained that all natural processes occur continuously: witness, for example, Leibniz's famous apothegm natura non facit saltus—“nature makes no jump.” In mathematics the word is used in the same general sense, but has had to be furnished with increasingly precise definitions. So, for instance, in the later 18th century (...) continuity of a function was taken to mean that infinitesimal changes in the value of the argument induced infinitesimal changes in the value of the function. With the abandonment of infinitesimals in the 19th century this definition came to be replaced by one employing the more precise concept of limit. (shrink)

A theory of rational choice is a theory of how an agent should, rationally, go about deciding what actions to perform at any given time. For example, I may want to decide whether to go to a movie this evening or stay home and read a book. The actions between which we want to choose are perfectly ordinary actions, and the presumption is that to make such a decision we should attend to the likely consequences of our decision. It is (...) assumed that these decisions must be made in the face of uncertainty regarding both the agent’s initial situation and the consequences of his actions. (shrink)

This paper is concerned with Wittgenstein's early doctrine of the independence of elementary propositions. Using the notion of a free generator for a logical calculus–a concept we claim was anticipated by Wittgenstein–we show precisely why certain difficulties associated with his doctrine cannot be overcome. We then show that Russell's version of logical atomism–with independent particulars instead of elementary propositions–avoids the same difficulties.

Probability is sometimes regarded as a universal panacea for epistemology. It has been supposed that the rationality of belief is almost entirely a matter of probabilities. Unfortunately, those philosophers who have thought about this most extensively have tended to be probability theorists first, and epistemologists only secondarily. In my estimation, this has tended to make them insensitive to the complexities exhibited by epistemic justification. In this paper I propose to turn the tables. I begin by laying out some rather simple (...) and uncontroversial features of the structure of epistemic justification, and then go on to ask what we can conclude about the connection between epistemology and probability in the light of those features. My conclusion is that probability plays no central role in epistemology. This is not to say that probability plays no role at all. In the course of the investigation, I defend a pair of probabilistic acceptance rules which enable us, under some circumstances, to arrive at justified belief on the basis of high probability. But these rules are of quite limited scope. The effect of there being such rules is merely that probability provides one source for justified belief, on a par with perception, memory, etc. There is no way probability can provide a universal cure for all our epistemological ills. (shrink)

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory, an important form of type theory (...) based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined. (shrink)

ABSTRACT In the second decade of the twentieth century a new subject appeared in American high schools, aimed at providing citizens with an understanding of the essential nature of scientific thinking. “General science,” as it was called, was developed and promoted by an emerging class of professional educators who sought to offer a version of science that they believed would both excite public interest and prove useful in the everyday lives of the masses of students streaming into the rapidly expanding (...) institution of secondary education. It was to be a course with real utility that would transcend the boundaries of the specialized, abstract disciplinary subjects like chemistry and physics—subjects with identities tied to the practices and standards of the colleges and universities, which had long exerted control over the content of secondary schooling. This essay recounts the origins of general science and, in particular, examines how the intellectual and material environment of the city of Chicago at the turn of the century influenced the course that was produced and widely adopted in school programs across the United States. (shrink)

The objective of this book is to produce a theory of rational decision making for realistically resource-bounded agents. My interest is not in “What should I do if I were an ideal agent?”, but rather, “What should I do given that I am who I am, with all my actual cognitive limitations?” The book has three parts. Part One addresses the question of where the values come from that agents use in rational decision making. The most comon view among philosophers (...) is that they are based on preferences, but I argue that this is computationally impossible. I propose an alternative theory somewhat reminiscent of Bentham, and explore how human beings actually arrive at values and how they use them in decision making. Part Two investigates the knowledge of probability that is required for decision-theoretic reasoning. I argue that subjective probability makes no sense as applied to realistic agents. I sketch a theory of objective probability to put in its place. Then I use that to define a variety of causal probability and argue that this is the kind of probability presupposed by rational decision making. So what is to be defended is a variety of causal decision theory. Part Three explores how these values and probabilities are to be used in decision making. In chapter eight, it is argued first that actions cannot be evaluated in terms of their expected values as ordinarily defined, because that does not take account of the fact that a cognizer may be unable to perform an action, and may even be unable to try to perform it. An alternative notion of “expected utility” is defined to be used in place of expected values. In chapter nine it is argued that individual actions cannot be the proper objects of decision-theoretic evaluation. We must instead choose plans, and select actions indirectly on the grounds that they are prescribed by the plans we adopt. However, our objective cannot be to find plans with maximal expected utilities. Plans cannot be meaningfully compared in that way. (shrink)

In this work, all the discourses addressed to lay people in the four main nik?yas of the P?li Canon, and most of those in the fifth, have been surveyed, categorised, and analysed. The different ways in which the Buddha customised his style of teaching and the Dhamma being taught according to the various demographic characteristics of his audience are explored, highlighted and discussed. Some of the findings are to be expected, whereas others are less so. There are several clear gender (...) and class differences in the type of discourse used, the topics of the teaching, and in whether the sutta is oriented to lead the listener to the more worldly goals of happiness in this life or a good rebirth, as opposed to being directed towards complete liberation from rebirth. There are differences too based on the age of the addressees, but less pronounced. This survey has also brought forth some distinct characteristics of the different nik?yas of the P?li Canon in terms of their suttas to the lay community. The A?guttara Nik?ya contains more suttas targeted directly to lay people, plus many others of the ‘indirect’ variety, more suttas addressed to women and to the middle-class, and a higher emphasis on the goals of happiness in this life and a good rebirth. Overall the suttas addressed to lay people show a very strong emphasis on good conduct by body, speech, and mind. But this paper hasn’t addressed whether there would be a different emphasis shown in an examination of the suttas addressed exclusively to the monastic community, and this is an area that warrants further exploration. A comprehensive catalogue of suttas in the P?li Canon that are addressed to householders is included in an appendix. (shrink)

This chapter traces the historical and conceptual development of the idea of the continuum and the allied concept of real number. Particular attention is paid to the idea of infinitesimal, which played a key role in the development of the calculus during the seventeenth and eighteenth centuries, and which has undergone a revival in the later twentieth century.

Putative resolutions of the sorites paradox in which the major premise is declared false or illegitimate, Including max black's treatment in terms of the alleged illegitimacy of vague attributions to borderline cases, Are rejected on semantical grounds. The resort to a non-Bivalent logic of representational "accuracy" with a continuum of accuracy values is shown to resolve the paradox, And the identification of accuracy values as truth values is defended as compatible with the central insight of the correspondence theory of truth (...) and with the practical legitimacy of most applications of ordinary, Bivalent logic to statements involving vague predicates. (shrink)

5.5. Every topos is linguistic: the equivalence theorem.